\begin{table}[!t]
\vspace*{-1ex}
\centering
\fontsize{9}{11}\selectfont
\begin{tabular*}{\linewidth}{@{\extracolsep{\fill}}lllllllc}\\\hlx{hv}
\multicolumn{1}{c}{\multirow{2}{*}{Benchmark}} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & Min\\
& \multicolumn{1}{c}{of first} & \multicolumn{1}{c}{to first} & \multicolumn{1}{c}{for first} & \multicolumn{1}{c}{of min} & \multicolumn{1}{c}{to min} & \multicolumn{1}{c}{for min} & first?\\\hlx{hv}
icfp\_45\_1000.sl & 8 & 0.1 & 3 & 8 & 0.1 & 3 & $\checkmark$ \\
icfp\_45\_10.sl & 8 & 0.0 & 3 & 8 & 0.0 & 3 & $\checkmark$ \\
icfp\_5\_1000.sl & 16 & 0.3 & 5 & 16 & 0.3 & 5 & $\checkmark$ \\
icfp\_51\_10.sl & 10 & 0.0 & 3 & 10 & 0.0 & 3 & $\checkmark$ \\
icfp\_54\_1000.sl & 10 & 0.1 & 3 & 10 & 0.1 & 3 & $\checkmark$ \\\hlx{h}
icfp\_56\_1000.sl & 65 & 6.5 & 15 & 56 & 272.2 & 11 & $\times$ \\
icfp\_64\_10.sl & 19 & 0.2 & 5 & 19 & 0.2 & 5 & $\checkmark$ \\
icfp\_68\_1000.sl & 58 & 6.9 & 15 & 39 & 286.6 & 11 & $\times$ \\
icfp\_69\_10.sl & 10 & 0.1 & 3 & 10 & 0.1 & 3 & $\checkmark$ \\
icfp\_7\_1000.sl & 23 & 3.2 & 7 & 17 & 216.4 & 5 & $\times$ \\\hlx{h}
icfp\_7\_10.sl & 15 & 0.1 & 5 & 15 & 0.1 & 5 & $\checkmark$ \\
icfp\_72\_10.sl & 12 & 0.1 & 3 & 12 & 0.1 & 3 & $\checkmark$ \\
icfp\_73\_10.sl & 16 & 0.0 & 5 & 12 & 9.8 & 3 & $\times$ \\
icfp\_81\_1000.sl & 22 & 0.5 & 5 & 16 & 228.2 & 3 & $\times$ \\
icfp\_82\_100.sl & 16 & 0.7 & 5 & 16 & 0.7 & 5 & $\checkmark$ \\\hlx{h}
icfp\_82\_10.sl & 16 & 1.1 & 5 & 16 & 1.1 & 5 & $\checkmark$ \\
icfp\_87\_10.sl & 17 & 0.1 & 5 & 17 & 0.1 & 5 & $\checkmark$ \\
icfp\_9\_1000.sl & 14 & 3.4 & 3 & 14 & 3.4 & 3 & $\checkmark$ \\
icfp\_93\_1000.sl & 19 & 0.4 & 5 & 19 & 0.4 & 5 & $\checkmark$ \\
icfp\_94\_1000.sl & 16 & 0.2 & 5 & 16 & 0.2 & 5 & $\checkmark$ \\\hlx{h}
icfp\_94\_100.sl & 16 & 0.1 & 5 & 16 & 0.1 & 5 & $\checkmark$ \\
icfp\_95\_100.sl & 21 & 80.3 & 7 & 21 & 80.3 & 7 & $\checkmark$ \\
icfp\_96\_1000.sl & 43 & 6.3 & 11 & 29 & 511.0 & 7 & $\times$ \\
icfp\_96\_10.sl & 48 & 1.4 & 13 & 24 & 8.8 & 7 & $\times$ \\
icfp\_99\_100.sl & 17 & 0.3 & 5 & 16 & 53.2 & 5 & $\times$ \\\hlx{h}
\end{tabular*}
\vspace*{1mm}
\caption{Results on the ICFP benchmark suite (continued from Table~\ref{table:anytime_results_1}) . All times are in seconds.}
\label{table:anytime_results_2}
\end{table}
